A. Cordon-franco: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

A geometric protocol for cryptography with cards

Cordón-Franco, Andrés, van Ditmarsch, Hans, Fernández-Duque, David, Soler-Toscano, Fernando

Journal:

Designs, Codes and Cryptography

Year:

2015

Language:

english

File:

PDF, 261 KB

english, 2015

2

Fragments of Arithmetic and true sentences

Andrés Cordón-Franco, Alejandro Fernández-Margarit, F. Félix Lara-Martín

Journal:

Mathematical Logic Quarterly

Year:

2005

Language:

english

File:

PDF, 246 KB

english, 2005

3

On axiom schemes forT-provably({Delta_{1}})formulas

Cordón-Franco, A., Fernández-Margarit, A., Lara-Martín, F. F.

Journal:

Archive for Mathematical Logic

Year:

2014

Language:

english

File:

PDF, 344 KB

english, 2014

4

A note on parameter free Π1-induction and restricted exponentiation

A. Cordón-Franco, A. Fernández-Margarit, F. F. Lara-Martín

Journal:

Mathematical Logic Quarterly

Year:

2011

Language:

english

File:

PDF, 182 KB

english, 2011

5

Existentially Closed Models and Conservation Results in Bounded Arithmetic

A. Cordon-franco, A. Fernandez-margarit, F. F. Lara-martin

Year:

2009

Language:

english

File:

PDF, 212 KB

english, 2009

6

EXISTENTIALLY CLOSED MODELS IN THE FRAMEWORK OF ARITHMETIC

ADAMOWICZ, ZOFIA, CORDÓN-FRANCO, ANDRÉS, LARA-MARTÍN, F. FÉLIX

Journal:

Journal of Symbolic Logic

Year:

2016

Language:

english

File:

PDF, 217 KB

english, 2016

7

A colouring protocol for the generalized Russian cards problem

Cordón-Franco, Andrés, van Ditmarsch, Hans, Fernández-Duque, David, Soler-Toscano, Fernando

Journal:

Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 320 KB

english, 2013

8

A note on Σ1-maximal models

Cordón-Franco, A., Fernández-Margarit, A., Lara-Martín, F.F.

Journal:

Journal of Symbolic Logic

Year:

2007

Language:

english

File:

PDF, 578 KB

english, 2007

9

A Prolog simulator for deterministic P systems with active membranes

Andrés Cordón-Franco, Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Fernando Sancho-Caparrini

Journal:

New Generation Computing

Year:

2004

Language:

english

File:

PDF, 808 KB

english, 2004

10

On the quantifier complexity of Δn+1(T)– induction

A. Cordón-Franco, A. Fernández-Margarit, F.F. Lara-Martín

Journal:

Archive for Mathematical Logic

Year:

2004

Language:

english

File:

PDF, 289 KB

english, 2004

11

A Note on Σ₁-Maximal Models

A. Cordón-Franco, A. Fernández-Margarit and F. F. Lara-Martín

Journal:

Journal of Symbolic Logic

Year:

2007

Language:

english

File:

PDF, 643 KB

english, 2007

12

On the optimality of conservation results for local reflection in arithmetic

Cordón-Franco, A., Fernández-Margarit, A., Lara-Martín, F. F.

Journal:

Journal of Symbolic Logic

Year:

2013

Language:

english

File:

PDF, 150 KB

english, 2013

13

Local induction and provably total computable functions

Cordón-Franco, Andrés, Lara-Martín, F. Félix

Journal:

Annals of Pure and Applied Logic

Year:

2014

Language:

english

File:

PDF, 769 KB

english, 2014

14

Envelopes, indicators and conservativeness

Andrés Cordón-Franco, Alejandro Fernández-Margarit, F. Félix Lara-Martín

Journal:

Mathematical Logic Quarterly

Year:

2006

Language:

english

File:

PDF, 275 KB

english, 2006

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски